Optimal. Leaf size=41 \[ -\frac {c d (d+e x)^{2+m}}{e^2 (2+m)}+\frac {c (d+e x)^{3+m}}{e^2 (3+m)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 41, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.158, Rules used = {640, 12, 45}
\begin {gather*} \frac {c (d+e x)^{m+3}}{e^2 (m+3)}-\frac {c d (d+e x)^{m+2}}{e^2 (m+2)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 45
Rule 640
Rubi steps
\begin {align*} \int (d+e x)^m \left (c d x+c e x^2\right ) \, dx &=\int c x (d+e x)^{1+m} \, dx\\ &=c \int x (d+e x)^{1+m} \, dx\\ &=c \int \left (-\frac {d (d+e x)^{1+m}}{e}+\frac {(d+e x)^{2+m}}{e}\right ) \, dx\\ &=-\frac {c d (d+e x)^{2+m}}{e^2 (2+m)}+\frac {c (d+e x)^{3+m}}{e^2 (3+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 34, normalized size = 0.83 \begin {gather*} \frac {c (d+e x)^{2+m} (-d+e (2+m) x)}{e^2 (2+m) (3+m)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.42, size = 37, normalized size = 0.90
method | result | size |
gosper | \(-\frac {c \left (e x +d \right )^{2+m} \left (-m e x -2 e x +d \right )}{e^{2} \left (m^{2}+5 m +6\right )}\) | \(37\) |
risch | \(-\frac {c \left (-e^{3} m \,x^{3}-2 d \,e^{2} m \,x^{2}-2 x^{3} e^{3}-d^{2} e m x -3 d \,x^{2} e^{2}+d^{3}\right ) \left (e x +d \right )^{m}}{\left (2+m \right ) \left (3+m \right ) e^{2}}\) | \(72\) |
norman | \(\frac {c e \,x^{3} {\mathrm e}^{m \ln \left (e x +d \right )}}{3+m}+\frac {c d \left (3+2 m \right ) x^{2} {\mathrm e}^{m \ln \left (e x +d \right )}}{m^{2}+5 m +6}+\frac {m c \,d^{2} x \,{\mathrm e}^{m \ln \left (e x +d \right )}}{e \left (m^{2}+5 m +6\right )}-\frac {c \,d^{3} {\mathrm e}^{m \ln \left (e x +d \right )}}{e^{2} \left (m^{2}+5 m +6\right )}\) | \(109\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 117 vs.
\(2 (41) = 82\).
time = 0.30, size = 117, normalized size = 2.85 \begin {gather*} \frac {{\left ({\left (m + 1\right )} x^{2} e^{2} + d m x e - d^{2}\right )} c d e^{\left (m \log \left (x e + d\right ) - 2\right )}}{m^{2} + 3 \, m + 2} + \frac {{\left ({\left (m^{2} + 3 \, m + 2\right )} x^{3} e^{3} + {\left (m^{2} + m\right )} d x^{2} e^{2} - 2 \, d^{2} m x e + 2 \, d^{3}\right )} c e^{\left (m \log \left (x e + d\right ) - 2\right )}}{m^{3} + 6 \, m^{2} + 11 \, m + 6} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.57, size = 66, normalized size = 1.61 \begin {gather*} \frac {{\left (c d^{2} m x e + {\left (c m + 2 \, c\right )} x^{3} e^{3} - c d^{3} + {\left (2 \, c d m + 3 \, c d\right )} x^{2} e^{2}\right )} {\left (x e + d\right )}^{m} e^{\left (-2\right )}}{m^{2} + 5 \, m + 6} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 299 vs.
\(2 (34) = 68\).
time = 0.34, size = 299, normalized size = 7.29 \begin {gather*} \begin {cases} \frac {c d d^{m} x^{2}}{2} & \text {for}\: e = 0 \\\frac {c d \log {\left (\frac {d}{e} + x \right )}}{d e^{2} + e^{3} x} + \frac {c d}{d e^{2} + e^{3} x} + \frac {c e x \log {\left (\frac {d}{e} + x \right )}}{d e^{2} + e^{3} x} & \text {for}\: m = -3 \\- \frac {c d \log {\left (\frac {d}{e} + x \right )}}{e^{2}} + \frac {c x}{e} & \text {for}\: m = -2 \\- \frac {c d^{3} \left (d + e x\right )^{m}}{e^{2} m^{2} + 5 e^{2} m + 6 e^{2}} + \frac {c d^{2} e m x \left (d + e x\right )^{m}}{e^{2} m^{2} + 5 e^{2} m + 6 e^{2}} + \frac {2 c d e^{2} m x^{2} \left (d + e x\right )^{m}}{e^{2} m^{2} + 5 e^{2} m + 6 e^{2}} + \frac {3 c d e^{2} x^{2} \left (d + e x\right )^{m}}{e^{2} m^{2} + 5 e^{2} m + 6 e^{2}} + \frac {c e^{3} m x^{3} \left (d + e x\right )^{m}}{e^{2} m^{2} + 5 e^{2} m + 6 e^{2}} + \frac {2 c e^{3} x^{3} \left (d + e x\right )^{m}}{e^{2} m^{2} + 5 e^{2} m + 6 e^{2}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 118 vs.
\(2 (41) = 82\).
time = 1.31, size = 118, normalized size = 2.88 \begin {gather*} \frac {{\left (x e + d\right )}^{m} c m x^{3} e^{3} + 2 \, {\left (x e + d\right )}^{m} c d m x^{2} e^{2} + {\left (x e + d\right )}^{m} c d^{2} m x e + 2 \, {\left (x e + d\right )}^{m} c x^{3} e^{3} + 3 \, {\left (x e + d\right )}^{m} c d x^{2} e^{2} - {\left (x e + d\right )}^{m} c d^{3}}{m^{2} e^{2} + 5 \, m e^{2} + 6 \, e^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.33, size = 88, normalized size = 2.15 \begin {gather*} {\left (d+e\,x\right )}^m\,\left (\frac {c\,e\,x^3\,\left (m+2\right )}{m^2+5\,m+6}-\frac {c\,d^3}{e^2\,\left (m^2+5\,m+6\right )}+\frac {c\,d\,x^2\,\left (2\,m+3\right )}{m^2+5\,m+6}+\frac {c\,d^2\,m\,x}{e\,\left (m^2+5\,m+6\right )}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________